home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Tests / Passed / test14.pl < prev    next >
Encoding:
Text File  |  1989-04-14  |  432 b   |  17 lines
  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. main :- a(Z), fringe(Z, X), X = [], write(ok), nl.
  5.     
  6. fringe([],[]).
  7. fringe(L,[L]) :- atomic(L), !.
  8. fringe([X|Xs],Z) :- fringe(X,Y), fringe(Xs,Ys), append(Y,Ys,Z).
  9.  
  10. append([],X,X).
  11. append([X|Xs],Y,[X|Zs]) :- append(Xs,Y,Zs).
  12.  
  13. a(X) :- e, b(B,A), e, bb(A,B,X).
  14. b(X,Y) :- e, [a|X] = [a,Y].
  15. bb(A,B,C) :- e, d(C, [A,B], [B|A]).
  16. d(A,B,C) :- e, A = [B,B,C|C].
  17. e.